Modular fault diagnosis in discrete-event systems with a CPN diagnoser
نویسندگان
چکیده
This paper addresses the problem of fault diagnosis in discrete-event system. The system under investigation is modelled as a labelled Petri net. We first propose an equivalent encoding of the classical diagnoser with the help of a CPN diagnoser. We then apply this encoding to define a modular CPN diagnoser.
منابع مشابه
Towards Low-cost Fault Diagnosis in Large Component-based Systems
We address the problem of fault diagnosis in discrete-event systems. Our contribution is the development of a set of specialised diagnosers whose computation is much more realistic than that of the classical diagnoser. A specialised diagnoser is devoted to the diagnosis of one particular type of fault and is based on the observation of only a subpart of the system. Copyright c © 2006 IFAC
متن کاملRobust diagnosis of discrete-event systems subject to permanent sensor failures
One approach to online fault diagnosis of discrete-event systems is through the use of the diagnosers. Diagnosers are deterministic automata whose states are sets formed with the states of the plant together with labels that indicate if the trace that has occurred so far possesses or not the fault event. The decision regarding fault occurrence is taken based solely on observable events, i.e., e...
متن کاملA Discrete Event Approach to Diagnosis of Continuous Systems
Fault detection and isolation is a key component of any safety-critical system. Although diagnosis methods based on discrete event systems have been recognized as a promising framework, they cannot be easily applied to systems with complex continuous dynamics. This paper presents a novel approach for discrete event system diagnosis of continuous systems based on a qualitative abstraction of the...
متن کاملNote to Users
FAULT DIAGNOSIS OF HYBRID SYSTEMS WITH APPLICATIONS TO GAS TURBINE ENGINES Rasul Mohammadi, Ph.D. Concordia University, 2009 Stringent reliability and maintainability requirements for modern complex systems demand the development of systematic methods for fault detection and isolation. Many of such complex systems can be modeled as hybrid automata. In this thesis, a novel framework for fault di...
متن کاملA Generalized Petri Net-based Diagnoser for Fault Detection and Isolation in Complex Processes
Recently, an efficient method for obtaining reduced interpreted Petri net, IPN, diagnoser was previously proposed for discrete event systems. This diagnoser consists of a single place and the same number of transitions that the system model has. Although, the current marking of this place (diagnoser) is enough to determine and locate faults occurring in a simple diagnosable discrete event syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015